Tools for Formal Statistical Inference
نویسندگان
چکیده
منابع مشابه
From Informal Process Diagrams to Formal Process Models
Process modeling is an important activity in a businesstransformation project. Free-form diagramming tools, such as PowerPoint and Visio, are the preferred tools for creating process models. However, the designs created using such tools are informal sketches, which are not amenable to automated analysis. Formal models, although desirable, are rarely created (during early design) because of the ...
متن کاملSimulation as a Tool to Develop Statistical Understanding ®
Statistical reasoning is often presented through a variety of statistical “tests” – usually leaving many students bewildered. A foundation for understanding what statistical reasoning is and how it works can help students understand how to make sensible decisions from data before they move to formal techniques. Simulations, made possible by technology such as graphing calculators or computer so...
متن کاملRecognizing malicious software behaviors with tree automata inference
We explore how formal methods and tools of the verification trade could be used for malware detection and analysis. In particular, we propose a new approach to learning and generalizing from observed malware behaviors based on tree automata inference. In particular, we develop an algorithm for inferring k-testable tree automata from system call dataflow dependency graphs and discuss the use of ...
متن کاملCausal models and learning from data: integrating causal modeling and statistical estimation.
The practice of epidemiology requires asking causal questions. Formal frameworks for causal inference developed over the past decades have the potential to improve the rigor of this process. However, the appropriate role for formal causal thinking in applied epidemiology remains a matter of debate. We argue that a formal causal framework can help in designing a statistical analysis that comes a...
متن کاملInference for Graphs and Networks: Extending Classical Tools to Modern Data
Graphs and networks provide a canonical representation of relational data, with massive network data sets becoming increasingly prevalent across a variety of scientific fields. Although tools from mathematics and computer science have been eagerly adopted by practitioners in the service of network inference, they do not yet comprise a unified and coherent framework for the statistical analysis ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004